#include <types.h>
#include <video_root.h>
#include <printk.h>
#include <gdt.h>

#define VERSION 0x3
#define BUILD 0x0066

void is_ok(void)
{
	bufferX = 74;
	printk("[OK]\n");
}

void entry(void)
{
	printk("Welcome on Bong OS version %d (build %d)\n", VERSION, BUILD);

	printk("Loading GDT...");
	init_gdt();
	is_ok();

	while(1);
}
